Sequent calculus - PDFSEARCH.IO - Document Search Engine

Sequent calculus
Results: 198

#	Item
191	ON A DECIDABLE FRAGMENT OF PREDICATE CALCULUS Add to Reading List Source URL: suppes-corpus.stanford.edu Language: English - Date: 2008-11-05 20:24:12 Propositional calculus Proof theory Logical syntax First-order logic Monadic predicate calculus Decidability Well-formed formula Sequent calculus Proposition Logic Mathematical logic Predicate logic
192	. Wesleyan University . Add to Reading List Source URL: emorehouse.web.wesleyan.edu Language: English - Date: 2013-04-18 17:56:39 Natural deduction Linear logic Sequent Intuitionistic logic Categorical logic Curry–Howard correspondence First-order logic Negation Propositional calculus Logic Mathematical logic Proof theory
193	PDF Document Add to Reading List Source URL: www.sfu.ca Language: English - Date: 2004-03-31 23:23:25 Propositional calculus Formal systems Logical syntax Logical truth Natural deduction Sequent Rule of inference Formal proof First-order logic Logic Mathematical logic Proof theory
194	PDF Document Add to Reading List Source URL: www.mi.sanu.ac.rs Language: English - Date: 2011-12-12 18:08:14 Deduction Non-classical logic Propositional calculus Metalogic Sequent Natural deduction Entailment Cut-elimination theorem Deduction theorem Logic Mathematical logic Proof theory
195	PDF Document Add to Reading List Source URL: www.icm2006.org Language: English - Date: 2013-10-02 08:04:05 Logic Ordinal numbers Ordinal analysis Gerhard Gentzen Cut-elimination theorem Natural deduction Limit ordinal Sequent calculus Constructible universe Mathematical logic Mathematics Proof theory
196	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:32:52 Proof theory Model theory Logic in computer science Automated theorem proving Metalogic Curry–Howard correspondence Natural deduction Admissible rule Sequent calculus Logic Mathematical logic Mathematics
197	PDF Document Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2006-08-24 20:08:31 Proof theory Automated theorem proving Logic in computer science Propositional calculus Computational complexity theory Natural deduction Sequent calculus Propositional proof system Proof complexity Logic Mathematical logic Mathematics
198	PDF Document Add to Reading List Source URL: espace.library.uq.edu.au Modal logic Deontic logic Normal modal logic Method of analytic tableaux Sequent calculus Model theory Mathematical logic Logic Automated theorem proving